#ifndef __MEMORY_H__
#define __MEMORY_H__

void* kmalloc(uint32 size);
void kfree_s(void* addr, uint32 size);

#endif
